Artificial Intelligence and Maths